BOREL FUNCTORS AND INFINITARY INTERPRETATIONS

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Borel Functors and Infinitary Interpretations

We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the categories of copies of each structure. We show that for the case of infinitary interpretation the reversals are also true: Every Baire-measurable homomorphism b...

متن کامل

On Infinitary Rational Relations and Borel Sets

We prove in this paper that there exists some infinitary rational relations which are Σ03-complete Borel sets and some others which are Π03-complete. These results give additional answers to questions of Simonnet [Sim92] and of Lescow and Thomas [Tho90] [LT94].

متن کامل

Emerton’s Jacquet Functors for Non-Borel Parabolic Subgroups

This paper studies Emerton’s Jacquet module functor for locally analytic representations of p-adic reductive groups, introduced in [Eme06a]. When P is a parabolic subgroup whose Levi factor M is not commutative, we show that passing to an isotypical subspace for the derived subgroup ofM gives rise to essentially admissible locally analytic representations of the torus Z(M), which have a natural...

متن کامل

Borel structures and Borel theories

We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...

متن کامل

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic

We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform way. We define ∞ =, the infinitary extension of a given equational theory =R, and →∞, the standard notion of infinitary rewriting associated to a reduction relation →R, as follows: ∞ = := νR. (=R ∪ R) → := μR. νS. (→R ∪ R) ; S Here μ and ν are the leas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Journal of Symbolic Logic

سال: 2018

ISSN: 0022-4812,1943-5886

DOI: 10.1017/jsl.2017.81